congruence modulo n symmetry proof